Nuprl Definition : mklist 11,40

mklist(nf) == primrec(n; []; (i,l. append(l; cons((f(i)); [])))) 
latex


Definitionsprimrec(nbc), x.A(x), append(asbs), cons(carcdr), f(a), []
FDL editor aliasesmklist

origin